A Constrained Object Model for Configuration Based Workflow Composition

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.Comment: This is an extended version of the article published at BPM'05, Third International Conference on Business Process Management, Nancy Franc

Language de Requête Configurable pour la Composition de Services Web Semantiques

La composition est un des principaux challenge pour la communauté des services web sémantiques (SWS). Parmi les approches existantes, il a été montré efficace d'utiliser des techniques à base de contraintes (telle que la configuration) pour créer des orchestrations à partir des choréographies. Des expérimentations supplémentaires ont révélé les limitations et les ambiguités sémantiques qui peuvent survenir à partir de la requête à un composeur. Cet article propose une approche originale où la requête est vue comme un problème en lui-même, et montre comment la configuration peut être utilisée pour le résoudre grâce à un modèle objet contraint

Transformation As Search

In model-driven engineering, model transformations are con- sidered a key element to generate and maintain consistency between re- lated models. Rule-based approaches have become a mature technology and are widely used in different application domains. However, in var- ious scenarios, these solutions still suffer from a number of limitations that stem from their injective and deterministic nature. This article pro- poses an original approach, based on non-deterministic constraint-based search engines, to define and execute bidirectional model transforma- tions and synchronizations from single specifications. Since these solely rely on basic existing modeling concepts, it does not require the intro- duction of a dedicated language. We first describe and formally define this model operation, called transformation as search, then describe a proof-of-concept implementation and discuss experiments on a reference use case in software engineering

Composition de Workflows à l'aide de la Configuration

http://www710.univ-lyon1.fr/~csolnonLa composition automatique ou assistée de workflows est un domaine d'intense recherche avec des applications au "world wide web" et à la modélisation de processus métiers (BPM), traditionnellement envisagée en utilisant des techniques de programmation logique et de démonstration automatique. L'originialité de cette recherche provient de l'observation que la construction d'un workflow composite est un problème de recherche de modèles finis, et que la plupart des languages de workflows peuvent être définis par des métamodèles objets contraints, comme UML ou YAWL. Cela conduit à envisager l'application de techniques de configuration à base de contraintes à ce problème, ce dont nous montrons la faisabilité. Nous présentons un modèle objet contraint pour la composition de workflows, s'appuyant sur un métamodèle contraint ainsi que des ontologies de processus et de flots de données. Des résultats expérimentaux sont donnés pour une implantation qui génère des workflows composites complexes mettant en jeu transformations, synchronisations et tests

Combiner Contraintes et Modèles pour le Traitement de Langage Contrôlé

International audienceNon disponibl

Une procédure générale d'élimination d'isomorphismes pour les problèmes de configuration

http://www710.univ-lyon1.fr/~csolnonUne difficulté intrinsèque à la résolution de problèmes de configuration réside dans l'existence de nombreux isomorphismes structurels dans les solutions. Nous définissons deux procédures de recherche permettant la suppression de grandes portions de l'espace de recherche dont on montre qu'elles ne renferment que des solutions non canoniques. On y parvient grâce à un test en chaque noeud de l'arbre de recherche de complexité temporelle linéaire. Nous présentons des résultats sur un exemple de configuration simple mais représentatif de ce qu'on pourra obtenir sur des problèmes réels

Optimisation par colonie de fourmis pour la configuration

National audienceUne des difficultés inhérentes à la recherche énumérative est l'explosion combinatoire. Parmi les algorithmes incomplets qui tentent de résoudre ce problème, l'optimisation par colonie de fourmis (ACO - Ant Colony Optmisation), qui combine des méthodes aléatoires et heuristiques avec l'apprentissage par renforcement, a prouvé son efficacité sur de nombreux problèmes de satisfaction de contraintes (CSP). Cet article présente une application d'un algorithme basé sur ACO pour la configuration, ce qui à notre connaissance n'avait pas encore été étudié. Nous décrivons comment la nature des problèmes non-bornés de configuration influe sur l'approche ACO, notamment à cause de la présence de variables ensemblistes et de domaines ouverts. Nous proposons un algorithme et un modèle phéromonal original permettant de traiter ces difficultés. Nous montrons également l'utilisation de l'optimisation par essaim de particules (PSO) pour converger vers des ensembles de paramètres optimaux. Enfin, nous fournissons des résultats expérimentaux, à la fois pour des instances aléatoires et pour le problème d'optimisation des racks

Model-based Interoperability IoT Hub for theSupervision of Smart Gas Distribution Networks

Industrial monitoring environments have evolved from single monolithic systems to widely distributed heterogeneous systems. These include the Internet of Things (IoT), Industrial IoT, Cyber-Physical Systems, and Enterprise Application. One of the key challenges is the integration of heterogeneous systems and data exchange interoperability. In the industrial smart gas project, in which this work takes place, current standard-based or middleware solutions are not sufficient to handle these issues and often require specific ad hoc developments. This paper proposes a generic, modular, and extensible interoperability architecture based on modeling principles. We provide a free software implementation and illustrate the approach on industrial use cases. Some criteria are then proposed for a first qualitative evaluation

A generic approach to model generation operations

Model generation operations are important artifacts in MDE applications. These approaches can be used for model verification, model finding, and others. In many scenarios, model transformations can as well be represented by a model generation operation. This often comes with the advantage of being bidi- rectional and supporting increments. However, most part of model generation approaches do not target several operation kinds, but narrower scenarios by mapping the generation problem into solver specific problems. They are efficient, but often don’t have a supporting framework. In this paper, we present an approach and framework that allows to specify and to execute model operations that can be represented in terms of model generation operations. We first introduce a model search layer that can be used with different solvers. We illustrate this layer with a driving example implemented using Alloy/SAT solver. On top of this, we introduce a transformation layer, which specification are translated into the model search layer, independently from any solver. The solution is natively bidirectional, incremental and it is not restricted to one-and-one scenarios. The approach is illustrated by two use cases and with 3 different scenarios, backed by a full, extensible and free implementation

Vers une ingénierie produit collaborative et interopérable basée sur les modèles

Depuis plusieurs années les processus de conception de produit ont évolué, la maîtrise de l’information est devenue un verrou majeur à contrôler pour une collaboration efficace. Afin de favoriser cette collaboration, il est nécessaire de formaliser les processus et les données métier dans un environnement théorique et logiciel ouvert et dynamique. Nous présentons dans cet article les travaux de recherche que nous avons menés en utilisant l’Ingénierie Dirigée par les Modèles (IDM) pour assurer l’interopérabilité des outils métier. La principale difficulté est d'être capable de projeter les données manipulées par un outil métier depuis / vers cet espace de collaboration de données métier. Cet article propose une méthodologie générale pour effectuer ces opérations, l’approche est consolidée par son expérimentation sur un cas d’étude.For several years the processes of product design have evolved, data management a major issue that need to be controlled for an effective collaboration. To foster this collaboration, it is necessary to formalize the processes and data in a theoretical / software open source and dynamic environment. The paper present here the research work conducted using Model Driven Engineering (MDE) to ensure the interoperability of expert software tools. The main difficulty is being able to project data handled by an expert tool to / from the space of business data collaboration. This article proposes a general methodology to perform these operations; the approach is consolidated by its experimentation on a case study